The Friedman embedding theorem
نویسندگان
چکیده
منابع مشابه
The Friedman Embedding Theorem
In this paper, we will present an explicit construction of Harvey Friedman which to every finitely generated group G associates a 2-generator subgroup KG 6 Sym(N) such that G embeds into KG and such that if G ∼= H, then KG = KH .
متن کاملKruskal-Friedman Gap Embedding Theorems over Well-Quasi-Orderings
We investigate new extensions of the Kruskal-Friedman theorems concerning well-quasiordering of finite trees with the gap condition. For two labelled trees s and t we say that s is embedded with gap into t if there is an injection from the vertices of s into t which maps each edge in s to a unique path in t with greater-or-equal labels. We show that finite trees are well-quasi-ordered with resp...
متن کاملAn Algorithmic Friedman-Pippenger Theorem on Tree Embeddings and Applications
An (n, d)-expander is a graph G = (V,E) such that for every X ⊆ V with |X| ≤ 2n− 2 we have |ΓG(X)| ≥ (d + 1)|X|. A tree T is small if it has at most n vertices and has maximum degree at most d. Friedman and Pippenger (1987) proved that any (n, d)-expander contains every small tree. However, their elegant proof does not seem to yield an efficient algorithm for obtaining the tree. In this paper, ...
متن کاملA subgaussian embedding theorem
We prove a subgaussian extension of a Gaussian result on embedding subsets of a Euclidean space into normed spaces. Using the concentration of a random subgaussian vector around its mean we obtain an isomorphic (rather than almost isometric) result, under an additional cotype assumption on the normed space considered.
متن کاملNon - Quasiconvexity Embedding Theorem
We show that if G is a non-elementary torsion-free word hyperbolic group then there exists another word hyperbolic group G, such that G is a subgroup of G but G is not quasiconvex in G.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 2011
ISSN: 0021-8693
DOI: 10.1016/j.jalgebra.2011.02.033